<?php
function listaOpciones($noMostrar){
												echo '<ul>';
	if(strcmp($noMostrar, 'index')) 			echo '<li><a href="index.php">Mapa general</a></li>';
	if(strcmp($noMostrar, 'busqueda')) 			echo '<li><a href="busqueda.php">Búsqueda detallada</a></li>';
	if(strcmp($noMostrar, 'mapa_filtrado')) 	echo '<li><a href="mapafiltrado.php">Mapa filtrado</a></li>';
	if(strcmp($noMostrar, 'foro')) 				echo '<li><a href="foro.php">Foro</a></li>';
	if(strcmp($noMostrar, 'nosotros')) 			echo '<li><a href="nosotros.php">¿Quiénes somos?</a></li>';
	if(strcmp($noMostrar, 'privada')) 			echo '<li><a href="privada.php">Área privada</a></li>';
												echo '</ul>';
}
?>